منابع مشابه
Modeling a Bank ATM with Two Directions Places Timed Petri Net (TPN)
A Bank ATM is including controller, card authorization system and a teller unit .This paper explains howthis parts connects together. In this paper will be used of a new mode place in Petri nets. More systemsusually have a complex constructs. ATM will be simulated use of new mode place at this study. The Mainpart of this model is used of T.S.Staines model [1]. We discuss how a simple model of T...
متن کاملVerification of Session Initiation Protocol Using Timed Colored Petri Net
In this work, Session Initiation Protocol model is established by using Timed Colored Petri Nets (TCPN). SIP (Session Initiation Protocol) is a protocol developed to assist in providing advanced telephony services across the Internet. The Session Initiation Protocol (SIP) has become the quasi-standard for VoiceoverInternet Protocol (VoIP) communications. SIP is based on a client-server infrastr...
متن کاملModeling Agile Manufacturing Cell using Object-Oriented Timed Petri net
An Object-Oriented Timed Petri-net (OOTPN) is proposed for modeling agile manufacturing cell (AMC). It consists of four phases: (1) grouping manufacturing resources into classes; (2) constructing general OOTPN block for each manufacturing resource class; (3) defining joint transitions and suitable control decision rules; (4) generating complete OOTPN model for agile manufacturing cell. This OOT...
متن کاملTimed Petri net models of cluster tools
Timed Petri nets are used as models of cluster tools, representing not only the concurrency activities of different chambers, but also the durations of these activities. Structural analysis, based on net invariants, provides basic performance measures, such as throughput and cycle time. The results are obtained in symbolic form, so many specific variants can easily be compared without repeated ...
متن کاملAutomated Parallelization of Timed Petri-Net Simulations
Timed Petri-nets are used to model numerous types of large complex systems, especially computer architectures and communication networks. While formal analysis of such models is sometimes possible, discrete-event simulation remains the most general technique available for assessing the model's behavior. However, simulation's computational requirements can be massive, especially on the large com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal for Research in Applied Science and Engineering Technology
سال: 2018
ISSN: 2321-9653
DOI: 10.22214/ijraset.2018.7121